Boolean model - PDFSEARCH.IO - Document Search Engine

Boolean model
Results: 352

#	Item
241	Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams John Whaley Monica S. Lam Computer Science Department Stanford University Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2004-04-28 04:04:03 Functions and mappings Binary decision diagram Boolean algebra Model checking Models of computation Datalog Data-flow analysis Function Scope Mathematics Mathematical logic Diagrams
242	Relating the new language models of information retrieval to the traditional retrieval models ∗ Djoerd Hiemstra and Arjen P. de Vries University of Twente, CTIT P.O. Box 217, 7500 AE Enschede The Netherlands Add to Reading List Source URL: doc.utwente.nl Language: English - Date: 2011-08-28 10:03:09 Vector space model Tf*idf Extended Boolean model Query expansion Relevance feedback Ranking function Relevance Language model Search engine indexing Information science Information retrieval Science
243	A Simple Model to Generate Hard Satisfiable Instances Ke Xu1 1 Fr´ed´eric Boussemart2 Add to Reading List Source URL: www.nlsde.buaa.edu.cn Language: English - Date: 2005-04-26 01:56:54 Applied mathematics NP-complete problems Electronic design automation Formal methods Logic in computer science Boolean satisfiability problem Constraint satisfaction problem Constraint satisfaction Local search Theoretical computer science Constraint programming Mathematics
244	On the Multi-output Filtering Model and Its Applications Guang Gong, Kalikinkar Mandal, Yin Tan and Teng Wu Department of Electrical and Computer Engineering University of Waterloo, Canada {ggong,kmandal,y24tan,teng.wu}@ Add to Reading List Source URL: cacr.uwaterloo.ca Language: English - Date: 2014-07-14 12:04:50 Boolean algebra Binary arithmetic Linear feedback shift register Stream cipher Advanced Encryption Standard Boolean function Computational complexity theory Recurrence relation Correlation attack Cryptography Mathematics Pseudorandom number generators
245	GeoBase - Conceptual Data Model, Edition 1.0 Add to Reading List Source URL: geobase.ca Language: English - Date: 2012-11-07 13:42:08 Software engineering Computer programming Type theory Computer arithmetic EXPRESS Enumerated type C++ classes Integer Boolean data type Data types Computing Primitive types
246	Formal Methods Group ETH Zurich ¨ June 2003 Armin Biere, Cyrille Artho, Malek Haroud, Viktor Schuppan Computer Systems Institute ETH Zurich, Add to Reading List Source URL: fmics.inria.fr Language: English - Date: 2003-06-27 09:56:55 Cantons of Switzerland Model checking Boolean satisfiability problem ETH Zurich Røros Formal methods True quantified Boolean formula Zurich Theoretical computer science Boolean algebra Mathematics
247	Efficiently Solving Quantified Bit-Vector Formulas Christoph M. Wintersteiger Youssef Hamadi Leonardo de Moura Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2010-07-29 11:34:28 Model theory Predicate logic Electronic design automation Logic in computer science NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem True quantified Boolean formula Skolem normal form Logic Theoretical computer science Mathematical logic
248	A First Step Towards a Unified Proof Checker for QBF Toni Jussila1 , Armin Biere1 , Carsten Sinz2 , Daniel Kr¨ oning3 , and Christoph M. Wintersteiger3 1 Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2008-01-30 18:21:35 Automated theorem proving Complexity classes Boolean algebra Model theory True quantified Boolean formula Predicate logic Resolution Skolem normal form FO Theoretical computer science Mathematics Mathematical logic
249	NuSMV 2: An OpenSource Tool for Symbolic Model Checking Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2002-07-09 12:35:04 Applied mathematics Formal methods Software Logic in computer science Model checking Electronic design automation Boolean algebra Boolean satisfiability problem Linear temporal logic Model checkers Theoretical computer science NuSMV
250	FMSD manuscript No. (will be inserted by the editor) Efficiently Solving Quantified Bit-Vector Formulas Christoph M. Wintersteiger · Youssef Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2012-09-29 08:41:59 Model theory Predicate logic Logic in computer science Quantification NP-complete problems Satisfiability Modulo Theories True quantified Boolean formula Skolem normal form FO Logic Theoretical computer science Mathematical logic

UPDATE